Regular Expression Quantifiers — m to n Occurrences
نویسندگان
چکیده
منابع مشابه
Regular Expression Quantifiers - at least m Occurrences
This is the second article on regular expression quantifiers. [4] introduced the quantifiers m to n occurrences and optional occurrence. In the sequel, the quantifiers: at least m occurrences and positive closure (at least 1 occurrence) are introduced. Notation and terminology were taken from [8], several properties of regular expressions from [7]. The notation and terminology used here are int...
متن کاملRegular languages definable by Lindström quantifiers
In our main result, we establish a formal connection between Lindström quantifiers with respect to regular languages and the double semidirect product of finite monoids with a distinguished set of generators. We use this correspondence to characterize the expressive power of Lindström quantifiers associated with a class of regular languages.
متن کامل$(m,n)$-algebraically compactness and $(m,n)$-pure injectivity
In this paper, we introduce the notion of $(m,n)$-algebraically compact modules as an analogue of algebraically compact modules and then we show that $(m,n)$-algebraically compactness and $(m,n)$-pure injectivity for modules coincide. Moreover, further characterizations of a $(m,n)$-pure injective module over a commutative ring are given.
متن کاملUpper bounds on the solutions to n = p+m^2
ardy and Littlewood conjectured that every large integer $n$ that is not a square is the sum of a prime and a square. They believed that the number $mathcal{R}(n)$ of such representations for $n = p+m^2$ is asymptotically given by begin{equation*} mathcal{R}(n) sim frac{sqrt{n}}{log n}prod_{p=3}^{infty}left(1-frac{1}{p-1}left(frac{n}{p}right)right), end{equation*} where $p$ is a prime, $m$ is a...
متن کاملKrasner $F^{(m, n)}$-Hyperrings
$!!!!$ In this paper, the notion of fuzzy $!$ Krasner $!(m, n)$-hyperrings($!F^{(m, n)}!$-hyperrings) by using the notion of$F^m$-hyperoperations and $F^n$-operations is introduced and somerelated properties are investigated. In this regards,relationships between Krasner $F^{(m, n)}$-hyperrings and Krasner$(m, n)$-hyperrings are considered. We shall prove that everyKrasner $F^{(m, n)}$-hyperrin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2007
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-007-0006-7